Check returned value type
Add check.sh, change SimpleInstruction to PrintInstruction
Add formal parameters to scope
Add refresh.sh
Handle corner cases in assignment
Fix semerrors.in and error messages