Type-check the desk with tsc and fix every error it reports

The desk v2 frontend type-checks cleanly with tsc, and CI now runs it.