(load "match")
(load "substitute")
(load "rule-simplifier")
(load "rules")