isl/val.h: extract out isl/val_type.h