Fix issue 108.
Fix issue 108.

Binders for 'where' clause bodies of values
must be typechecked with the original pattern
in scope.

This is done in the same way as for functions.

Some cleanups thrown in here and there...

cartazio/omega,minad/omega