KClass questions

No, KClass.extensionProperties returns extension properties declared in the given class. The property you're looking for is declared in the package. Unfortunately there's no API currently to list properties in the package, however you can use a simple property reference for that: Foo::baz