Move type-projection file

This commit only exists to avoid git being confused, it is not independent of the following commit !

[Cherry-picked 3d1d012][modified]

Author: tgodzik