added soft_lit and soft_clause types, for convenience