Coding up the infinite relational model and a few other goodies in Church