Treat reverse term definitions more like regular definitions

This addresses #253