Change forall tactic to use unify rather than isType
Fixes issue #189