move infer-constant-tag and constant-lift in a postwalk