Add explicit marshal/unmarshal to the TLS syntax module

[bifurcation]

I think this will offer a path to implementing the select syntax, e.g., to make encode/decode of HandshakeMessage more elegant.