add fct to tell if a formula is sat and much more!

    translate everything in english
    change Show instances stuff to display everything nicely
    change Value to be Maybe Bool
    rewrite evalClauses w/ any
    rewrite newXXX fcts so they just takes the atom w/ the value
    add examples