add clauseSubsume and pbSubsume
clean up a bit
introduce fromVar/toVar for converting between LPFile.Var and String
change the representation of Text.LPFile.Var from String to InternedString