Add a check in the CI verifying the code typechecks

[dannywillems]

          > Is it possible to add in the CI the code typechecks?

that would be very nice indeed, will think about it. probably just means an extra tsconfig file here and make CI install TS

Originally posted by @mitschabaude in #140 (comment)