migrate `cDecl' type signature to Rep.
Migrate `inline/assignment' to Rep.
Migrate `inline/address' to Rep.
Migrate `inline/binary' to Rep.
Migrate `reify/application+forget' to Rep.
Migrate `reify/sequence' to Rep.
Migrate `reify/let-in' to Rep.