Extension for Visual Studio Code - Steep type checker