Commit typechecker test suite