Replace Head, Tail, Last, Init by HCons and HSnoc
Rename HCons to Cons1 and HSnoc to Snoc1
Merge pull request #134 from julien-truffaut/hcons

Replace Head, Tail, Last, Init by Cons1 and Snoc1