Theorem unlocking is now implemented, when theorem is clicked on in pda for first time it adds the tag to the player nbt and allows crafting of any related items