• One proposal: All types available both in runtime and type context
• Make Python types available in type context
• Why this will work
• Finer points
• Make C types available in runtime context
• Ensuing email discussion