A Regularist Approach to Mechanistic Type-Level Explanation