Removed any mention of polymorphism, except as a shortcut to define the head and tail functions.