A racket package for creating predicates in a point-free style