prefer PropertyConstraint over RefPropertyConstraint
support for @ in patterns