ivory: clean up GHC warnings.
ivory: respect new more polymorophic toIx type.