[Python-ideas] What should a good typechecker do?