change ToySolver.SAT.TseitinEncoder to use ToySolver.Data.BoolExpr
add Boolean instances for tuple types and function types