Made some changes on examples and on the grammar.