add assertions
1.) Merge branch 'assertions' of https://github.com/ck-innoq/aim42
2.) correct sorting of pattern-index

Conflicts:
	guide/src/asciidoc/improve.adoc
	guide/src/asciidoc/pattern-index.adoc
Incorporate main line changes