Correct typos reported by @Fourchaux
WIP
Protocol: make state type and state threading explicit
Tell module, working PoC
Remove tabs…!