Expose Session.problems in typescript

[hildjj]

Working on the vscode plugin, I need access to the problems field in class Session. It is currently undocumented.

I propose just making it public by putting it into the types file.