Unification tweak for unifying types and metavariable applications

Fixes #507