Resurrect project.
Implement associated type projection and normalization.