Prepped context creation for validating return types
Added basic return type checking for functions
Implemented if statements