Add documentation describing how definitions are stored