Making this work with SWI as a package
Minor bug fix in add_arg/3
Updated example
The composition of expander is now performed more smoothly.
Removed use_package(nativeprops), which is empty.
Renamed assertions.pl to swiassertions.pl, a temporary kludge to avoid clashes with the assertions.pl Ciao package