Stricter static-type checking

[ruiconti]

Issue

Right now, static type checking is being done half-heartedly. We should embrace it and be as restrict as we can.

Proposed solution

Proper type facilities as well as a rigorous and unforgiving static type check using mypy.