I have been working on a faster type checker for 3.5 years now. It's coming, I promise :)