Revert "Calculate and output definitional equalities"

This reverts commit e5767c87dae9c72ec2af010d674d06fff0fb7aab.