adds checking for binop and modifiers. begins stmt checking