stripped down type system in python