Don't abbreviate identifiers

Using such short identifiers is unnecessary, and it increases the risk of name clashes.

This commit also removes the "." from the description line, as is conventional.
Merge pull request #1 from purcell/patch-1

Don't abbreviate identifiers