Update and rename mutability.txt to mutability.py