changing lowlevel type names.
add SMT.Z3.Monad.Ast