Added option for null type as T?

  - Also finished restoring pos/lists examples.
Fixed bug in rTypeReft, restored all list examples