Rearranged type pattern matching in typecheck_op
Merge branch 'interference_rules' of https://github.com/samuel02/RTFM into interference_rules

Conflicts:
	RTFM-cOOre-compiler/src/VariableTypeCheck.ml