unary opertor type checking