A simple relational Scheme integer to peano translator, demonstrating finite domain constraints - View it on GitHub