(pushcase, pushcase_range): Add a new converter function argument that specifies how to convert case labels to the nominal type. From-SVN: r4826
