Made some operators non-associative
Parse and typcheck lambdas