more work on python type definitions