Looks like FreeLists is a candidate for our next newtype! It can have a implementation similar to Children<T> and also implement Index<AreaIndex>.

Originally posted by @demosdemon in #1193 (comment)