fing
fing copied to clipboard
Take unification and subtype relations into account when searching
Later: need more thought on this. Probably this means a plugin system, with rankings etc etc. Lots of work for the corner cases.