Typecheck/Parser (nu med Lambda)