ednotes on abstract  syntax, changes on alignments