L3.Display. Grammar, lexer, parser for L4 and beginning of L4ToL3