Replaced token names (TLambda -> Lambda and TNew -> New) to fit g2hs-generated output.