Commented and clarified semcheck.
Separated Tom, Emily into semcheck ops.
modified part of types section.
adds formal checking
adds return to sast
Added function and program checking.
Merge branch 'assignment_and_new_compile' of https://github.com/WHET-PLT/wdjc into assignment_and_new_compile
merges in assignment/compile branch