Started examples on Set-Types.