Static picklers and unpicklers for sealed hierarchies

In addition:
- Prevents materialization of FastTypeTags for type parameters
- Removes implicit PickleFormat from DPickler materializer
We have to come up with a better story in general for this. People in general have no idea that closed sums are easier/faster serialized than open ones. Perhaps putting some of this information in error messages is a good start?