compiler: add unroll_loops transform
compiler/ir: simplify type dictionaries