Extends support for types in the SWI-Prolog standard library.

This module introduces the following types:

• options: A dictionary with tag options that is used to represent options passed to predicates.

 boolean(@Term) is semidet

 positive_integer(@Term) is semidet