Adding a [fold_map] operation on constrs.