Export equivalent() method
Tightened up IR & DF inner constr signature
Undo c7c7353
Add IR & DF documentation (#11)