Issue #136: Proposals: add -> where appropriate