Built-in rules are now more stable. Defining and undefining rules is now possible.
-rwxr-xr-x 47 modal
-rw-r--r-- 8785 modal.py
-rw-r--r-- 2919 prelude.modal