Use name Repr consistently to represent unknown kind * type.
Consistent type parameter order.

Most likely to occur to least likely to occur, which means
in the common situation of interest:

  [A, Repr, CC[X]]

Sampler commit fixes LinearView.
Fix ViewEnvironment tparam order.
The rest of the 3-type-parameter types.