import qualified Data.Map as M type Environment = M.Map Identifier Integer execute :: Environment -> Statement -> Environment run :: Program -> Environment