Added computation of explicit type reductions, beginning of a tikz
output