Make "normalize" provide lifting operation