diff --git a/paper_resources/arr_sum_ir.dot b/paper_resources/arr_sum_ir.dot
index 7479b259ef2095defa009a485be404434e72b12b..4c012291bbf9374d3eb0aef8d7b075945441d4ca 100644
--- a/paper_resources/arr_sum_ir.dot
+++ b/paper_resources/arr_sum_ir.dot
@@ -6,23 +6,23 @@ style=invis
 cluster=true
 ranksep=1;
 nodesep=1;
-start_0_0 [xlabel=0, label=<Start<BR /><FONT POINT-SIZE="8">Control</FONT>>, color=darkred];
-parameter_0_1 [xlabel=1, label=<Parameter (#0)<BR /><FONT POINT-SIZE="8">Array(Float32, #0)</FONT>>, color=darkblue];
-dynamic_constant_0_2 [xlabel=2, label=<DynamicConstant (#0)<BR /><FONT POINT-SIZE="8">UnsignedInteger64</FONT>>, color=darkblue];
-projection_0_3 [xlabel=3, label=<Projection<BR /><FONT POINT-SIZE="8">Control</FONT>>, color=darkred];
-add_0_4 [xlabel=4, label=<Add<BR /><FONT POINT-SIZE="8">UnsignedInteger64</FONT>>, color=darkblue];
-add_0_5 [xlabel=5, label=<Add<BR /><FONT POINT-SIZE="8">Float32</FONT>>, color=darkblue];
-read_0_6 [xlabel=6, label=<Read<BR /><FONT POINT-SIZE="8">Float32</FONT>>, color=darkblue];
-lt_0_7 [xlabel=7, label=<LT<BR /><FONT POINT-SIZE="8">Boolean</FONT>>, color=darkblue];
-if_0_8 [xlabel=8, label=<If<BR /><FONT POINT-SIZE="8">Control</FONT>>, color=darkred];
-projection_0_9 [xlabel=9, label=<Projection<BR /><FONT POINT-SIZE="8">Control</FONT>>, color=darkred];
+start_0_0 [xlabel=0, label=<Start<BR />Control>, color=darkred];
+parameter_0_1 [xlabel=1, label=<Parameter (#0)<BR />Array(Float32, #0)>, color=darkblue];
+dynamic_constant_0_2 [xlabel=2, label=<DynamicConstant (#0)<BR />UnsignedInteger64>, color=darkblue];
+projection_0_3 [xlabel=3, label=<Projection<BR />Control>, color=darkred];
+add_0_4 [xlabel=4, label=<Add<BR />UnsignedInteger64>, color=darkblue];
+add_0_5 [xlabel=5, label=<Add<BR />Float32>, color=darkblue];
+read_0_6 [xlabel=6, label=<Read<BR />Float32>, color=darkblue];
+lt_0_7 [xlabel=7, label=<LT<BR />Boolean>, color=darkblue];
+if_0_8 [xlabel=8, label=<If<BR />Control>, color=darkred];
+projection_0_9 [xlabel=9, label=<Projection<BR />Control>, color=darkred];
 return_0_10 [xlabel=10, label=<Return>, color=darkred];
-constant_0_11 [xlabel=11, label=<Constant (0)<BR /><FONT POINT-SIZE="8">UnsignedInteger64</FONT>>, color=darkblue];
-constant_0_12 [xlabel=12, label=<Constant (1)<BR /><FONT POINT-SIZE="8">UnsignedInteger64</FONT>>, color=darkblue];
-constant_0_13 [xlabel=13, label=<Constant (0)<BR /><FONT POINT-SIZE="8">Float32</FONT>>, color=darkblue];
-phi_0_14 [xlabel=14, label=<Phi<BR /><FONT POINT-SIZE="8">UnsignedInteger64</FONT>>, color=darkblue];
-phi_0_15 [xlabel=15, label=<Phi<BR /><FONT POINT-SIZE="8">Float32</FONT>>, color=darkblue];
-region_0_16 [xlabel=16, label=<Region<BR /><FONT POINT-SIZE="8">Control</FONT>>, color=darkred];
+constant_0_11 [xlabel=11, label=<Constant (0)<BR />UnsignedInteger64>, color=darkblue];
+constant_0_12 [xlabel=12, label=<Constant (1)<BR />UnsignedInteger64>, color=darkblue];
+constant_0_13 [xlabel=13, label=<Constant (0)<BR />Float32>, color=darkblue];
+phi_0_14 [xlabel=14, label=<Phi<BR />UnsignedInteger64>, color=darkblue];
+phi_0_15 [xlabel=15, label=<Phi<BR />Float32>, color=darkblue];
+region_0_16 [xlabel=16, label=<Region<BR />Control>, color=darkred];
 if_0_8 -> projection_0_3 [color=black, style="dashed"];
 phi_0_14 -> add_0_4 [color=black, style=""];
 constant_0_12 -> add_0_4 [color=black, style=""];
diff --git a/paper_resources/arr_sum_ir.pdf b/paper_resources/arr_sum_ir.pdf
index 61c5e4314dd3a4a61064e228fc6ec50acc17232c..c21eeeaebeba98c202dc8d93b3198eaf39374356 100644
Binary files a/paper_resources/arr_sum_ir.pdf and b/paper_resources/arr_sum_ir.pdf differ
diff --git a/paper_resources/matmul_ir.dot b/paper_resources/matmul_ir.dot
index ab3f4464116bb230448951de6043465dec83a5e4..5ecbf3888df6b3f9feac80686ece0c582fc8a60b 100644
--- a/paper_resources/matmul_ir.dot
+++ b/paper_resources/matmul_ir.dot
@@ -6,26 +6,26 @@ style=invis
 cluster=true
 ranksep=1;
 nodesep=1;
-start_0_0 [xlabel=0, label=<Start<BR /><FONT POINT-SIZE="8">Control</FONT>>, color=darkred];
-parameter_0_1 [xlabel=1, label=<Parameter (#0)<BR /><FONT POINT-SIZE="8">Array(Integer32, #0, #1)</FONT>>, color=darkblue];
-parameter_0_2 [xlabel=2, label=<Parameter (#1)<BR /><FONT POINT-SIZE="8">Array(Integer32, #1, #2)</FONT>>, color=darkblue];
-fork_0_3 [xlabel=3, label=<Fork (#0, #2)<BR /><FONT POINT-SIZE="8">Control</FONT><BR /><FONT POINT-SIZE="8">ParallelFork</FONT>>, color=darkred];
-thread_id_0_4 [xlabel=4, label=<ThreadID (0)<BR /><FONT POINT-SIZE="8">UnsignedInteger64</FONT>>, color=darkblue];
-thread_id_0_5 [xlabel=5, label=<ThreadID (1)<BR /><FONT POINT-SIZE="8">UnsignedInteger64</FONT>>, color=darkblue];
-fork_0_6 [xlabel=6, label=<Fork (#1)<BR /><FONT POINT-SIZE="8">Control</FONT><BR /><FONT POINT-SIZE="8">Vectorizable</FONT>>, color=darkred];
-thread_id_0_7 [xlabel=7, label=<ThreadID (0)<BR /><FONT POINT-SIZE="8">UnsignedInteger64</FONT>>, color=darkblue];
-join_0_8 [xlabel=8, label=<Join<BR /><FONT POINT-SIZE="8">Control</FONT>>, color=darkred];
-join_0_9 [xlabel=9, label=<Join<BR /><FONT POINT-SIZE="8">Control</FONT>>, color=darkred];
-reduce_0_10 [xlabel=10, label=<Reduce<BR /><FONT POINT-SIZE="8">Array(Integer32, #0, #2)</FONT><BR /><FONT POINT-SIZE="8">ParallelReduce</FONT>>, color=darkblue];
+start_0_0 [xlabel=0, label=<Start<BR />Control>, color=darkred];
+parameter_0_1 [xlabel=1, label=<Parameter (#0)<BR />Array(Integer32, #0, #1)>, color=darkblue];
+parameter_0_2 [xlabel=2, label=<Parameter (#1)<BR />Array(Integer32, #1, #2)>, color=darkblue];
+fork_0_3 [xlabel=3, label=<Fork (#0, #2)<BR />Control>, color=darkred];
+thread_id_0_4 [xlabel=4, label=<ThreadID (0)<BR />UnsignedInteger64>, color=darkblue];
+thread_id_0_5 [xlabel=5, label=<ThreadID (1)<BR />UnsignedInteger64>, color=darkblue];
+fork_0_6 [xlabel=6, label=<Fork (#1)<BR />Control>, color=darkred];
+thread_id_0_7 [xlabel=7, label=<ThreadID (0)<BR />UnsignedInteger64>, color=darkblue];
+join_0_8 [xlabel=8, label=<Join<BR />Control>, color=darkred];
+join_0_9 [xlabel=9, label=<Join<BR />Control>, color=darkred];
+reduce_0_10 [xlabel=10, label=<Reduce<BR />Array(Integer32, #0, #2)<BR />ParallelReduce>, color=darkblue];
 return_0_11 [xlabel=11, label=<Return>, color=darkred];
-read_0_12 [xlabel=12, label=<Read<BR /><FONT POINT-SIZE="8">Integer32</FONT>>, color=darkblue];
-read_0_13 [xlabel=13, label=<Read<BR /><FONT POINT-SIZE="8">Integer32</FONT>>, color=darkblue];
-mul_0_14 [xlabel=14, label=<Mul<BR /><FONT POINT-SIZE="8">Integer32</FONT>>, color=darkblue];
-reduce_0_15 [xlabel=15, label=<Reduce<BR /><FONT POINT-SIZE="8">Integer32</FONT><BR /><FONT POINT-SIZE="8">TightAssociative</FONT>>, color=darkblue];
-add_0_16 [xlabel=16, label=<Add<BR /><FONT POINT-SIZE="8">Integer32</FONT>>, color=darkblue];
-write_0_17 [xlabel=17, label=<Write<BR /><FONT POINT-SIZE="8">Array(Integer32, #0, #2)</FONT>>, color=darkblue];
-constant_0_18 [xlabel=18, label=<Constant ([])<BR /><FONT POINT-SIZE="8">Array(Integer32, #0, #2)</FONT><BR /><FONT POINT-SIZE="8">NoResetConstant</FONT>>, color=darkblue];
-constant_0_19 [xlabel=19, label=<Constant (0)<BR /><FONT POINT-SIZE="8">Integer32</FONT>>, color=darkblue];
+read_0_12 [xlabel=12, label=<Read<BR />Integer32>, color=darkblue];
+read_0_13 [xlabel=13, label=<Read<BR />Integer32>, color=darkblue];
+mul_0_14 [xlabel=14, label=<Mul<BR />Integer32>, color=darkblue];
+reduce_0_15 [xlabel=15, label=<Reduce<BR />Integer32<BR />MonoidReduce>, color=darkblue];
+add_0_16 [xlabel=16, label=<Add<BR />Integer32>, color=darkblue];
+write_0_17 [xlabel=17, label=<Write<BR />Array(Integer32, #0, #2)>, color=darkblue];
+constant_0_18 [xlabel=18, label=<Constant ([])<BR />Array(Integer32, #0, #2)<BR />NoResetConstant>, color=darkblue];
+constant_0_19 [xlabel=19, label=<Constant (0)<BR />Integer32>, color=darkblue];
 start_0_0 -> fork_0_3 [color=black, style="dashed"];
 fork_0_3 -> thread_id_0_4 [color=black, style="dotted"];
 fork_0_3 -> thread_id_0_5 [color=black, style="dotted"];
diff --git a/paper_resources/matmul_ir.pdf b/paper_resources/matmul_ir.pdf
index f4afd5892deada4c5997fdeb80f34cc5aeacbdb3..ec8c43d7e81d3442cddd072a0b5050274c3fd176 100644
Binary files a/paper_resources/matmul_ir.pdf and b/paper_resources/matmul_ir.pdf differ