Added prioritization module.

Improves performance by adding instantiated theorems in order of
relevance.