Static picklers and unpicklers for sealed hierarchies

In addition:
- Prevents materialization of FastTypeTags for type parameters
- Removes implicit PickleFormat from DPickler materializer
Good idea. Maybe instead of "known types" we could say "concrete types" (as opposed to "abstract types").