id Summary Status Keywords Owner Type Priority 1446 Implement contravariant type checking for procedure types new contravariant types enhancement not urgent at all 1795 Types for srfi-69 egg new types eggs defect minor 1796 Allow type definitions to be exported. new types modules enhancement major 938 Feature Request: Load type files for units assigned types units felix winkelmann enhancement minor 1798 No promise type. new types, promises enhancement minor