Use menhir, some refactoring, no more ..*, but .* on objects ok
README updates
Oh yeah need Menhir