IC.cup
Merge remote-tracking branch 'origin/master'

Conflicts:
	test/typing_rules_check.ic