On Monday, 13 December 2021 at 23:35:40 UTC, Ola Fosheim Grøstad wrote: > If you want 1, 3, 4 then you probably should consider using a > validating grammar in the compiler. If you want 2, then you can > make it a type like I suggested above. The DIP covers all this and has an actual answer.