Strong normalization
Normalize universal hints
Universal hints starting to work