Better type safety & CI

This patch pre-release increases the code quality by inserting much better type hinting throughout.

Github Actions has been implemented, replacing CircleCI, so all tests are in one single place.