Generate basic unification constraints.