right-assoc and symbolic operators for Denotation
merge master
fix some names
merge master
Merge branch 'feature/right/assoc/denote'
Merge branch 'master' into enhancement/value/classes/no/allocation