Type to search extensions
Preserve the semantics. Rewrite the implementation.
MLIR, TableGen, and PDLL support.