Specifications for List datastructure

Specifications to check completion of exercises about the List function datastructure.