Implement mid level IR between YUL and LL

[xermicus]

Currently we translate YUL directly to LLVM. What I'm hoping to do better with an additional IR:

• Reduce the amount of stack variables
• Partially recover type information and use integer types narrower than i256 wherever possible
• Create the obvious place to implement other domain specific optimizations

I'm eying to write a MLIR dialect.