tower: Chan types derive Eq
tower-statemachine: changes to syntax, complete rewrite of compiler