Editor Features

• Jump to definition - top-level is easy, local is hard

• Types on hover

  • only for top-level stuff
  • for any expression - like this

• Autocompletions

  • Based on names - what is in scope, or top-level names in any dep
  • Based on types - like default values and values in scope
  • Based on structure - like let and case

• Inline Errors

  • streaming errors
  • colorful errors

• Refactoring

  • reliable rename
  • lift to new let
  • lift to existing let
  • lift to top-level