Bartosz Witkowski - Blog.
Higher Order Predicates and Adding Basic Primitives