A simple relational Scheme integer to peano translator, demonstrating finite domain constraints