Use unification to typecheck foreign calls (allow arguments to follow the coercion rules)