added pluniq, a tool that filters input terms and only outputs the most general of any group of adjacent terms that are in a subsumption relation