Some sed hacks to get org-mode tables to work with lhs2tex.
Org-mode and lhs2tex do not want to play nicely.
Some more structure in proposal.