recast

• inductive
• cyclic
• Darby
• xrefs
• identify