FIXED: Several issues with predicate_property(M:X, visible).
Declare predicate options for term_string/3
Updated pldoc