how would `mkBlock(bodyStms, bodyExpr).duplicate` look when we migrate to Syntactic?