Don't allow unification problems to be introduced in :p mode