`strict` doesn't detect many errors

[fregante]

I was doing some tests on the strict parser and noticed that a few issues weren't detected.

Maybe it's not practical to detect these, it's ok either way.

[g-plane]

I'm afraid that it will make the parser too complex to maintain and execute (which will cost more time to run type checking).

[fregante]

Yeah that's my concern too. It's fine as is