Simplify the computation of types on columns of a view.