Update algorithms to support reverse properties

In the inverse context, reverse properties are stored under `..['@type']['@reverse']`.

@dlongley, I would appreciate your feedback - especially on Value Expansion.

This addresses #221.