Refactor annotation name-mangling to common location for Codegen.
Add declaration rules for imperative transform.