module languages/pico/syntax/Identifiers exports sorts PICO-ID lexical syntax [a-z] [a-z0-9]* -> PICO-ID lexical restrictions PICO-ID -/- [a-z0-9]