Fascinating. Is this a separate thing that would be integrated into an IDE or would it make more sense as part of the compiler? Are there any plans to productize this for any language? Any plans to provide a semantic feedback mechanism so that language-specific semantics can be fed back to make the suggestions even better (beyond just the structure of code)?