Add some human-readable comments to the spec part of [HPaxos](https://github.com/heliaxdev/typhon/blob/master/tla/HPaxos.tla) so that anyone can tell what's going on.