Properties from draft-daboo-valarm-extensions-04.

Fixes Issue #56.