more improvements to how theorems discovered are stored