Added <condition> to readme.txt
Added if verifier to lexer, boolean expression to readme