This is some very impressive stuff, I look forward to trying it out. Question: Have you run into any cases where the hints have actually caused significant roadblocks to discovering the underlying problem? I can't count the number of times a compiler error has sent me down the wrong path entirely, I wonder how much worse/better this is with more human-readable hints.