Improved application of strategies.
FIXED BUG: Error in the grammar did not allow to define valid
strategies.
Greatly improved speed of strategies.
Minor improvement to the fixpoint strategies.
New supersaturation strategy and minor improvements.
Minor improvements.
Have saturation as an internal declared strategy.
Smally improvement: Did a saturation by level strategy