Remove LazyList
Add user spec and missing impls.