Env.sml og semant.sml det rigtige sted :)