Specialized the head unification.  If a unification is independent of the head it is done at specialization time,
and if not, it is postponed to runtime.