Improve the Alias cop a bit

* added class-level doc
* added special handling for aliasing global variables