Quantum Lean (Taking Lean Systems to the Next Level)