type provider tutorial part 1.
added section on the providedtypes.fs file
added section on erased types.
added section on debugging type providers.