added typechecking for inc &dec nodes