Updating syntax file with missing '>'.
Added KEA+ models with adversarial key registration.

The idea is to confirm/deny results established manually in the context of
the ASICS paper.
Merge remote-tracking branch 'origin/develop' into feature-user-defined-sorts