Text this: Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended version)