Allow for (define-sort ...) in non-UF logics