Bnf

I guess much of the detailed description can be safely eliminated
when there is a BNF definition, which I proposed in this commit.

rather than giving a lengthy readme, I feel we need more examples.
Not only the trivial ones. Practical and useful usage that even encourages
the user of the other languages to use cl.

BTW, is it already included in quicklisp?