Nice. Opus 5.5 is crazy good at engineering ideas into life. Really cool stuff, using "code is data" with Lean