Fix head empty list bug in clean pp for unsaturated tycon applications.
Explicit calls to 'display' should work no matter the loading status.
Add unsafeReplaceStash, which is currently very unsafe.