Clean export

[ZihanChen-MSFT]

declare namespace $f2tExportDefaultRedirect {
  export const $f2tHidden_Value: $TypeOf<typeof $12>;
}
declare namespace $f2tExportDefault {
  export const Value: $TypeOf<typeof $f2tExportDefaultRedirect.$f2tHidden_Value>;
  export type Value = $TypeOf<typeof $f2tExportDefaultRedirect.$f2tHidden_Value>;
}

Generated code like this can be much more clear by having a hint file

[alloy]

How urgent is this? It sounds like it could be a post-v1 task.