Checkpoint

More principled transformation
Checkpoint

DefDef
Checkpoint

Added constraints
Checkpoint

Fixed the type tag generation algorithm.
Now it's only inefficient, not inefficient and wrong. :))

TODO: Regardless of whether the topic/erasure branch makes it into wip,
      this change should be propagated.