TypeRep abstraction.

 src/ compiles.