Rapid Modeling In A Lean Context