Added more rules in the default rule library and gave them all docstrings