call ProducedType.resolveAliases a lot more now that the frontend requires us to
Fixed some tests .src due to more canonicalisations thanks to more calls to ProducedType.resolveAliases()

That undoes the opposite modifications that I did recently to those .src, I was wondering what changed,
it was that the frontend did less canonicalisations, which we now restored
Marked test for #816 as failing