v0.12.1

• The type-checker got a lot faster, especially if you're editing a single file in a larger project.
• Various bugfixes in:
  • The rename functionality
  • The code actions
  • The type-checker