Added support for native/1 and native/2 global property, that allows to specify interface for foreign predicates inside the assertions
PL_ ---> FL_ (Foreign Library), several fixes and improvements.
Minor optimizations
Fixed tests
Minor bug fix: Ptr was processed as lists, which is incorrect
Minor bug fix