python with types