Like Types

Like types use the ~T syntax to represent a type that is either T or dynamic. They are used in the sound dynamic typing system to enable gradual migration from untyped to fully typed code.