The main ideas have been written in the pre-draft

This document is not quite formal, it just contains the main ideas
that we found in the last meeting and besides there is a minimal
background which helps to understand why we reach them.

closes #4