Add score weighted results, with a bounded memory heap
Add score weighted results, with a bounded memory heap

BartAdv/hoogle,wolftune/hoogle,BartAdv/hoogle,ndmitchell/hoogle,ndmitchell/hoogle,wolftune/hoogle,wolftune/hoogle,ndmitchell/hogle-dead,wolftune/hoogle,BartAdv/hoogle,BartAdv/hoogle,ndmitchell/hoogle,ndmitchell/hogle-dead