Make type() call in projections optional (or remove it)

I think the type() call should be optional. The compiler can also cast the data set directly and the result type is computed from the input types anyways.