Migrate `reify/if-then-else' to Rep.
Migrate `reify/fallback' to Rep.
Migrate `reify/case-of' to Rep.
Migrate `cDecl' to Rep.