Added Function validation checking. Our functions are now checked for return type compatibility, void support, and parameters are added to the scope of the function, so parameter identifiers can now be used within the function.
Merge branch 'master' of https://github.com/daperlmu/PLATO