This article doesn't even mention the new type checker and constraint solver. The compiler is open-source, and discussed on open forums. Readers would love so

This article doesn't even mention the new type checker and constraint solver. The compiler is open-source, and discussed on open forums. Readers would love some summary/investigation into slow-down causes and prospects for fixes.