A better return_type_tinfo() mechanism.