Makes jit_value(val) select the best suitable type