Document conventions for symbol usage and aliases

[ceedubs]

I think we've kind of settled on using the non-symbolic form of operators and types even when a symbolic form is provided as an alias. This tends to make it less bewildering and easier to google or ask questions about for newcomers. But I can't seem to find anywhere that we have documented this convention in the contributor guide. We should probably do that.