Holds all proog rules, and other documentation