That's pretty much what a mold is. The syntax is written to look as much as possible like the description of a set, but the semantics are that you're actually

That's pretty much what a mold is. The syntax is written to look as much as possible like the description of a set, but the semantics are that you're actually defining a function.