Add span/2, make pred() type a real type