Add initial progress on Lists.v