Add Identity Function

I miss an entry for the (polymorphic) identity function (`id`), which is the (left and right) unit of function composition.

It is a pity that many languages claiming to have some support for functional programming don't offer this function predefined.