It's type checking now instead of unification.