Have sproof-environment generate definientia

[Jazzpirate]

...analogous to sdefinition. A sproof generates a definiens for the proposition referenced by [for=