-- Andreas, 2021-01-30 -- Tokens that do not match anything are accepted, but raise a warning. token Empty (letter - upper - lower)+ ;