Leo input files.
Besides files with code, formalized by file, Leo includes files with inputs. These are formalized here, in abstract syntax form, based on the ABNF input grammar.