It would be good to rebase on master as well, it won't compile anymore due to `askLoadedType` changes. I wanted to test using `fullyInitializedSymbol` everywhere :)