Hi there! At our startup we're considering moving from spec to malli for our next project. I'm particularly excited about the clj-kondo integration support. Is there somewhere I could read more about it? Perhaps some of you using it? Did anyone integrate this into their repl/editor workflow (so that annotations are regenerated every time a new schema definition is made)? I'd also like to know how "deep" the static analysis goes. Is it just for elemental types like int or string? Or does the malli+clj-kondo combination understand your own compound types to some degree?