List combinators, and oflength between two values