Check for undischarged obligations.

After

>> :t let { u : forall a. a; u = 1 } in u
undischarged obligation
Fixed up problem with 'undischarged obligations' where the signature
wasn't supplied at all