Fast type reconstruction for dynamically typed programming languages