Some internal implementation simplifications.
Detect and report on attempts to bind to a model element with an incompatible type.

+review REVIEW-5034