Semantic Check is DONE
Merge branch 'semantic_check' into code-gen

Conflicts:
	src/semantic_check.ml