Update BTreeEnum.agda