WHERY-1: Add an errors sub-tab to script tabs.
WHERY-1: Make some improvements to the error table.
WHERY-1: Detect parsing errors in real time.
WHERY-1: Introduce DLFrontendError to represent problems that occur in the frontend phase of Datalog to RA compilation.
WHERY-1: Add a basic Datalog checker.