Added little predicates, termdiff and mapeach that would be useful