Some additional patterns have been added to the prelude.
-rwxr-xr-x 47 modal
-rw-r--r-- 10637 modal.py
-rw-r--r-- 690 prelude.modal