more python type system stuff