Add well-formedness check for type schemes in valspecs.

Fixes #47.
Also adjust the nexp substitution so that the error message points to a
useful location, and replace the empty environment with the initial
environment in a few functions that do type checking to ensure that the
prover is set up (which may be needed for the wf check).

0 files changed, 0 insertions, 0 deletions