Changing fixity of <@@$> to right associative

This is consistent with <@@> which also has right associative fixity.

Commit also includes documentation corrections.