use ToySolver.Internal.Data.Vec in ToySolver.SAT
change popTrail to return Lit instead of Maybe Lit
add XORClause to ToySolver.SAT.Types
requires array >=0.4.0.0