...to extract the syntetic ordering from DefsRegistry and make that a responsibility of the (internal) syntactic representation of the query. doesn't pass the compiler yet