| Ast.Group terms -> Ast.Group (List.map k terms)
| Ast.Mstyle (l, term) -> Ast.Mstyle (l, List.map k term)
| Ast.Mpadded (l, term) -> Ast.Mpadded (l, List.map k term)
| Ast.Group terms -> Ast.Group (List.map k terms)
| Ast.Mstyle (l, term) -> Ast.Mstyle (l, List.map k term)
| Ast.Mpadded (l, term) -> Ast.Mpadded (l, List.map k term)