added some documentation about ASTs