@mads379 Btw, you haven't answered my first question (inlined below)

> What if the type is something that contains an operator, would that be correctly translated?