Cache transitions and reuse them in the transition builder

[acoppes]

Cache transitions (mainly mutable transitions) by variables, modify the mutable transition to allow modifying the object and the converter so they could be easily reused by knowing how many variables they need.

A restriction is that the new converter should work over the same (or less) number of variables of the previous one.