rewrite the aeval() and beval()
change the representation again.. now ready to write down small-step semantics