Much easier. It doesn't change the runtime representation of types at all. It also supports a gradual typing-esque system for adding more precise types onto exi

Much easier. It doesn't change the runtime representation of types at all. It also supports a gradual typing-esque system for adding more precise types onto existing languages without changing the source code.