Use GADT for AnySocket.
Bump version number.
WIP