- avoid premature conversion of default struct type parameters - allow use of $clog2, $signed, and $unsigned in type parameters - more thorough and efficient top reference ident renaming - precede type param conversion with hier const pass