Some changes.
adds checking for binop and modifiers. begins stmt checking
Completed semantic check for function.
geo
Adds formal semantic checking.
Adds some expression checking functionality.
merges in assignment branch changes after turkey