Doc: Abstract syntax gone after concrete syntax. To the woods.