introduce rule.{Head,Body}

for the dependency of "rule" packages