Some code related to the old numeric syntax has been removed.
-rwxr-xr-x 47 modal
-rw-r--r-- 10637 modal.py
-rw-r--r-- 580 prelude.modal