Added support for built-in rules. The stability of this change is not guaranteed.
-rwxr-xr-x 47 modal
-rw-r--r-- 8164 modal.py
-rw-r--r-- 2919 prelude.modal