Revert "Merge branch 'check4' into mito"

Conflicts:
	src/parser.java
	src/rc.cup
	src/sym.java
Revert 373c3b6..3bb9202

This rolls back to commit 373c3b66f1a59e62f92f3f7e888a5ac3b8a07a20.