Adding Ruby code for Church Booleans.