Largely a port of Hoogle's core type search algorithm with a bit more abstraction.
- Search - types and core driver for type searching
- Search/Structured - core algorithm for fingerprinting and signature comparison, with lots of intermediate data structures
- Search/Hoogle - tries to use the same cost calculations as Hoogle, for ranking of results