ref: 0116ef24cb193165de85d3a707d4dbd64ba1b60f
parent: f9c8f07de30e44dc51e82d8c8a83553ac36b92f6
author: Ori Bernstein <ori@eigenstate.org>
date: Sat Jul 28 11:40:57 EDT 2012
Fix up type index hacks a bit.
We rank and order types by their unifiability.