rewrites: complete with the rewrites from LICS paper

Note that we do not include the unary sharing rule, and the mentioned "missing"
rewrite for collapsing sharing with distributors is among the rules we already
have.
rewrites: change layout

Unify and simplify the layouta  bit now that all the rules are included.