A Formal Typology of Reflexives1. (April 2017)