Move raising of typeerror to function
Merge branch 'interference_rules' of github.com:samuel02/RTFM into interference_rules

# By Björn Nilsson
# Via Björn Nilsson
* 'interference_rules' of github.com:samuel02/RTFM:
  Wrapper function for NameError messages

Conflicts:
	RTFM-cOOre-compiler/src/VariableTypeCheck.ml
Fix error message handling