Implement nominal type checks in binder.

Actually regresses us a tiny bit 'cus it picks up on something that
is not yet implemented in the HLL type mapping. But gets rid of all
the warnings.