Higher-Order Description Logics for Domain Metamodeling