add Church number and Boolea in rational.hs
add color