Just a note for next release, the example in the documentation for the "Import" command, entitled "Combining two facades with a structure", generates "undefined rule" warnings. I wanted to use this technique of filling in rules from imported files, but the warnings tend to make the code editor messy, though it does seem to work fine.