refactor registrations initialization code to init_registrations()
first cut at rule_closure()
Work on rule_closure(): t+
First implementation and test of rule_closure(): t+