Undocumented predicates

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

 {Arg1}

 maximize(Arg1)

 minimize(Arg1)

 inf(Arg1, Arg2)

 inf(Arg1, Arg2, Arg3, Arg4)

 sup(Arg1, Arg2)

 sup(Arg1, Arg2, Arg3, Arg4)

 bb_inf(Arg1, Arg2, Arg3)

 bb_inf(Arg1, Arg2, Arg3, Arg4)

 entailed(Arg1)

 set_clpcd(Arg1)

 dump(Arg1, Arg2, Arg3)

 clp_type(Arg1, Arg2)

 ordering(Arg1)

 set_clpcd(Arg1)