building scope tree correctly
building scope tree correctly
Merge branch 'interference_rules' of https://github.com/samuel02/RTFM into interference_rules

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