An experimental description of the Swift type system as value types, with the goal of having a single representation that can be used for both tools and reflection.