operator/type validity checking