Add support for native predicates of arity 1.
Fix page.alf example.
Properly introduce Selector abstraction.
Added Selection abstraction.