Undocumented predicates

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

 configurations(Arg1, Arg2, Arg3)

 compiles(Arg1)

 compiles(Arg1, Arg2)

 compiles(Arg1, Arg2, Arg3)

 compiles(Arg1, Arg2, Arg3, Arg4)