Migrate `inline/tuple' to Rep.
Migrate `inline/record' to Rep.
Migrate `inline/unary' to Rep.
Migrate `inline/sequence' to Rep.
Migrate `inline/lambda' to Rep.
Migrate `inline/application' to Rep.