wirespec 0.4.0

Type-safe protocol description language — compiler, verifier, and LSP