New Receiver annotation

This PR implements what was discussed in issue #852.