Preemptive type checking implementation for a subset of the cpython 3.3 python implementation