Implement a unification-based version of mp_then with similar API

Documentation and concrete instantiations (à la drule etc) of the
underlying primitive still to come.