Some work on adding reduction rules, fixed a bug with Substitution.compose
Created SubstitutionMap