Experiment with expressing the Swift type system as value types - GitHub - DougGregor/SwiftTypeSystem: Experiment with expressing the Swift type system as value types