[build|test] adding counter-examples and their related error logs
It is important to test that malformed programs are rejected by the typechecker. This work starts with a few counter-examples which should fail.
It is important to test that malformed programs are rejected by the typechecker. This work starts with a few counter-examples which should fail.