added operation properties checking

For all operation properties, redefinition is denied.
added list container
supported global produces and consumes