A Python 3 easy to use runtime typechecker, aimed at doing static analysis at some point