[16-02-13] Some features needed to implement unification.