added some type checking stuff. vardecl now works for basictypes and unary operators