right-assoc and symbolic operators for Denotation
merge master
fix some names
merge master
Merge branch 'feature/right/assoc/denote'