TODO Solve problem with recursive types Common sub-computation elimination for typed terms Improve simplifier tp_tlet + its inlining