Building Interpretable Models from Mechanistic Explanations | Manifund