move rule.md to doc/rule.md