Rename File: named_types.py

File Manager