representable tries