Finish post-constraints trnaslation.
Fix over-sharing bug in bind-check multi dispatch
Remove debugging code.
Generic instantiation in signature binding.

Handles constructs like (::T, T).