feat(library/elaborator): use is_convertible for constraints without metavariables in the elaborator

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