Refactor: Add dockerfile, fix some type errors, update type annotations, add some error-handling, formatting

Refactor: Add dockerfile, fix some type errors, update type annotations, add some error-handling, formatting #130