more documentation
commence rewrite based on TLA+ spec; add logo
remove obsolete things