Parsing for recursive definitions

Finding and replacing definitions using other formulas or
differentiated versions of other formulas.