Is there some thread/blog_post you could provide talking about the discovery of the type system issue?