Move declaration of Rulebase from Rules to CoreSyn