Add native version for non logical connectives

[rTreutlein]

At the moment they are only represented using Predicates but some of them could be expressed using native links.