I made this MR mostly to confirm if I understand correctly how those PropertyElements work. Nesting them in many sublevels does not make it all that straightforward. Brano, if you think it is correct, you might just merge, but mostly I would like to get Your comments on this.