Combines together two properties, yielding a property that
has the description and info of the first, and that has the second
property as a child. The two actions to satisfy the properties
are passed to a function that can combine them in arbitrary ways.