Check typings into the repo to get CI up and running