"simple type check tools