fix: resolve type errors and add type checking to CI

fix: resolve type errors and add type checking to CI #63