Revised UFCS proposal

A proposal to add an unambiguous syntax for referring to methods and other associated items. An adapted version of the original proposal by @nick29581.
Typo `to_struivalent` -- you ran `:%s/eq/to_str/g`?