The EVM's 4 types of tries