bnf readme
Added simplify for humans
Expression syntax