Abortive series of attempts at building a bootstrappable low-level language.
Type-checked, but feasible to implement in some sort of notation for machine
code (like SubX).

The latest version is in compiler10. But it doesn't account for checking
how programs allocate registers.
