Added: IsType constraint class.