Fill in more docs for app.ts and CodeEditor.ts, fix up some red squiggles introduced by Idea's interpretation of jsdoc comments