Needs to include explaining that it must accept `AbstractThunk` (a requirement of CRC 1.0) Also should be the place we talk about `ProjectTo`