revising RType2 to contain both [typ] and [typD]

- Ultimately, it might be better to just have [typD], that way we can
  parameterize expr by [typ] but not RType.
an experimental well-typed expr.