Extended the syntax of CRO-SRP.

Added ceiling for objects and priorities for messages. Priorities
are not used atm.