fixed weirdness in the extension model

The way the mixins were arranged was weird.  Rules now own their domain
instead of Term.