evaluate substitution (Pow   a b)  = (evaluate substitution a) ** (evaluate substitution b)
evaluate substitution (Pow   a b)  = (evaluate substitution a) ** (evaluate substitution b)
evaluate substitution (Pow   a b)  = (evaluate substitution a) ** (evaluate substitution b)