More work on filling out the AST, Exp1 broken but it needs to be changed
in order to  work