Add a priority queue to replace logic handled by transducer in 1.x

[dylon]

Since the logic for ranking terms will be removed from the transducer, add a priority queue and a set of ranking functions to replace the logic found in version 1.x

• Thoroughly test it