Implement associated type projection and normalization.