Remove TypedAST.hs. Added functions to manipulate analysis states.