first class dialect definition support in beaver

1.define_a_dialect.ex

defmodule Cmath do
  alias Beaver.MLIR.Type
  use Beaver.Dialect, name: "cmath"

  deftype complex(t = any_of(t, [Type.f32(), Type.f64()])) do
    parameters(t)
  end

  defop norm do
    operands(complex(any()))
    results(any())
  end

  defop mul do
    c = complex(any_of([Type.f32(), Type.f64()]))
    operands([c, c])
    results(c)
  end
end

2.cmath.irdl.mlir

module {
  irdl.dialect @cmath {
    irdl.type @complex {
      %0 = irdl.is f32 
      %1 = irdl.is f64 
      %2 = irdl.any_of(%0, %1) 
      irdl.parameters(%2)
    }
    irdl.operation @norm {
      %0 = irdl.any
      %1 = irdl.parametric @complex<%0> 
      irdl.operands(%1)
      irdl.results(%0)
    }
    irdl.operation @mul {
      %0 = irdl.is f32 
      %1 = irdl.is f64 
      %2 = irdl.any_of(%0, %1) 
      %3 = irdl.parametric @complex<%2> 
      irdl.operands(%3, %3)
      irdl.results(%3)
    }
  }
}