Add gimple_typesafety.py