Keeping track of promotion ticks in HsOpTy allows us to properly pretty-print promoted constructors such as lists.