More flexible map_user and fold for new constructor nodes #53

Closed youknowone closed 1 year ago