beka valentine on Nostr: aside from undecidability of equality in ETT (i assume because of identity ...

aside from undecidability of equality in ETT (i assume because of identity reflection), is there any other strong reason to not want to use ETT? it seems like a very nice, ergonomic system, from what i know