Added usage perspectives to abstract.
And small fixes :)
Added example to general AST specs.
Refactored a bit