Narrowing, widening and binding-off types