Examples added.
Updates in the types.