2024-08-05

• Human-readable error messages (basic, nothing fancy)
• Error out in the elaborator when variables that aren't in scope are encountered
  • Previously it would leave these to be resolved by the checker which lead to an "AmbiguousMetaVar" error - not helpful!