Added Function Types.

Added some examples for adding type specifications to functions.