a right-associative alias for denote

Although these assignment signs are confusing themselves (in the context of denotation), they look better for me than `:%:` which is symmetric and cryptic ")