finished adding built-ins in env.sml and refactored transExp function in semant.sml