TypePal is a framework for name analysis, type checking and type inference - View it on GitHub