Finallised villager trades for theorems, no extra work nesesary for mod authors to use them + bug fixes