semantic: First pass at unification of overload/extyper type verification.