Further refine types for operations which take scalars.