Added better type inference for a call / cast expression