Checkpoint of content reflecting MEng submission by Fergus

submission/fergus

Add accepted/returned types to sockets, type check connections