change variable names to more appropriate ones, mainly from "clause" to "constraint".
introduce some type synonyms to SAT.Types
add some sample problem files