Detailed the section on concrete and abstract syntax