evaluate substitution (Minus a b)  = (evaluate substitution a) - (evaluate substitution b)
evaluate substitution (Minus a b)  = (evaluate substitution a) - (evaluate substitution b)
evaluate substitution (Minus a b)  = (evaluate substitution a) - (evaluate substitution b)