Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 ds_cover(Arg1, Arg2, Arg3)

 theory_to_cla(Arg1, Arg2)

 cla(Arg1, Arg2)

 show_cla(Arg1)

 theory_sum_tokens(Arg1, Arg2)

 ds_theory_cover_with_constraint(Arg1, Arg2, Arg3, Arg4, Arg5)

 ds_cover_with_constraint(Arg1, Arg2)

 ds_cover_with_constraint(Arg1, Arg2, Arg3)

 invertable_type_map(Arg1, Arg2, Arg3, Arg4)

 invertable_token_map(Arg1, Arg2, Arg3)

 invertable_token_map(Arg1, Arg2, Arg3, Arg4)