De Bruijn Parser

[nixpulvis]

Disallowing leading numbers from terminal identifiers and using them instead for parsing De Bruijn indices directly should be supported.

This will allow parsing λ λ λ 3 1 (2 1) (the S combinator) for example.