Check typing in GH action

[silvester-pari]

Additional to checking formatting and linting, it would be good to also check typing, either as a standalone workflow or as part of lint check. E.g. drawtools already has a typecheck command in its package.json, so ideally all elements would have the same command to allow automated checks.