Add semantic_type.py