Started transition to pure Coq-code.
Coq accepts the code as it is now. Cleanup is still needed.
Removed stuff from ott.