(bounded-listo l n)
Ensure that the list l never grows beyond bound n. n must have been assigned a domain.