Fixed generics and type checker issues. Refactored Reader and Writer to be compatible.
Move type aliases around.
Removed the MoReader.
Fix tests for vector changes.
Rework HeaderBag. Fix generics.