new patterns and types added.
Merge branch 'prettyprinter' of https://github.com/overturetool/overture into prettyprinter