Bad git style. Committing totally new project with almost 100% new code. But it's much prettier...
Removed proposal from this repo. Now in expresso-math/documentation.