But as things stand, the x2 of me fails to export to the prenex in an ordinary way, & I'm confident we would find logical problems aplenty with that.
But {me} doesn't have an x2. {me <sumti>} is a one place brivla and it is proper that the quantifier fail to export. Indeed it might make sense to say that {me} anihilates the quantifier turning <sumti> into a type of which {me} selects an instance. (You explained {me} as something like that at some point.)
FWIW, for me, {me} means "x1 has the property of x2hood",