Head()
tail()
Tail()
=
Tail
Specification: Returns the tail list t of l.
Constraints: It is illegal to apply Tail to an empty l.
Complexity: O(1).