Add specs for constructor

Constructor itself (List.uncons, List. unjoin....) probably are valuable as a stand-alone!