I talked it over with @jwalgran beforehand, it seemed best to use just the alias for consistency.

We had several places in `treemap` where we were already using the alias anyways, and it was hard to tell what were our modules and what were libraries.