Added code for type checking functions, global scope, function calls.
Merge branch 'master' of https://github.com/daperlmu/PLATO

Conflicts:
	Ast.mli
	PLATO.ml
	Parser.mly
	Sast.mli