Basic nominal type check handling in binder.

Doesn't include types in error or handle (::T, T) just yet.