evo
typecheck for meta now typechecks the tree with scalac, converts it and prints out the result