The RTL dialect "rtl.read_inout" op always has the constraint that the input is an InOut type, and the result is its element type. Therefore instead of:

%aget = rtl.read_inout %a: (!rtl.inout<i42>) -> i42

We should be able to use just:

%aget = rtl.read_inout %a: !rtl.inout<i42>

which would be less noisy. I'd love it if someone could improve this.

Since #384 we can make use of the IR verification features of MLIR.

Our BConv op has a few parameter combinations where it can throw during Init or Prepare. In the converter we try to make sure that none of those cases will ev