Add Reverse Properties to syntax spec

This addresses #221.