Type checking with dynamic class creation in Python