Implicit levels during unification is 0

As we might be trying to unify with an arbitrary level, it is incorrect
to use get_current_level ().
type_application.lower_args: thread and update environment in presence of implicits