Added some examples and modified abstract syntax presentation