Use a more general unification in order to be able to infer the type

of "red<<if, 3>>".

Put the unification stuff in  a dedicated module, and add some random
unit tests to it.