Implement computed properties

[almarklein]

PR #408 implements a new property system (amongst other things). Computed properties can be implemented on top of that, as a combination of a property and an implicit reaction. They can be useful to define properties that represent some sort of combination or aggregate of other properties.