evaluate substitution (Plus  a b)  = (evaluate substitution a) + (evaluate substitution b)
evaluate substitution (Plus  a b)  = (evaluate substitution a) + (evaluate substitution b)
evaluate substitution (Plus  a b)  = (evaluate substitution a) + (evaluate substitution b)