fix specials
change passes order
fix invoke infer-tag
fix uniquify