py: Proper framework for built-in 'type'.