Implement `ds check types`

[zkat]

This involves implementing an initial ds check command that supports typechecking typescript source files.

This should bundle tsc, if possible.