Add new notation method and extend notation models
on N generation
Fix various compilation problems and add
documentation