added state to eval_aexp. Also refactored id into a separate ident module and added an eval module that contains the evaluation methods and depends on sigma, aexp, bexp, etc. Also added variables to aexp.