add a __type_switch utility and use it the ptx generator

add a __type_switch utility and use it the ptx generator #3918