Move locally defined types out to mirage-types
Mark a todo in TCP
Add a STACKV4-compliant Manager module for the direct stack.