What Is Type Measurement