checking statements almost works
 we no longer have objects. AYO
removed object from type
Merge branch 'semanticcheck_livi' of https://github.com/dinalamdany/slang into livi
really no more objects