Replace Head, Tail, Last, Init by HCons and HSnoc

I am not sure about the terminology, I could not find a name for cons when head and tail are always present.