Add bounded-length list type

This can be used for representing data with a maximum length, such as SQL
VARCHAR(n).