Continue functorizing TCP -- convert Ack, State, Tcptimer
Functorize Segment over Time
Functorize Segment and Window, and add a CLOCK module type
Functorize User_buffer