Added demo script used at the CSMR-WCRE14 tool demo track.
Some plugin renamings
Ekeko macro now ensures queries are fully evaluated
Some type-related predicates.