Get rid of debugging print that snuck in
cosmetic: switch to forM to improve style
Carry aliases entirely through type inference
cosmetic: make names more consistent
Pretty print aliases correctly for descriptors