Implement the translation MIR -> SMIR for the missing rvalue constructs: ```[tasklist] ### Missing constructs - [ ] Repeat - [ ] Cast - [ ] NullaryOp - [ ] Aggregate - [ ] ShallowInitBox ```