Autoconj: Recognizing and Exploiting Conjugacy Without a Domain-Specific Language