fix(library/elaborator): fix failure when processing constraints of the form ?M == ?M[...]

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>