Rework serdes mechanism

No more ADT & interpreter, more direct style.
Rename `reify_types` to `meta`
Use a module to define a tag