[troupo]

You can still type check those, and have a fast compiler, and not rely on a restricted set of hardcoded non-extendable types.

[nmz]

Do tell, I'm sure you're right, AFAIK, only forth seems to embed a parser in its compiler.