Can't refer to relation in higher order functions anymore

[saulshanabrook]

Opening an issue to track the fact that now relations can't be referred to in higher order functions, because they no longer return Unit.

Talked to @oflatt about it for a while offline and one option would be to change relation back to desugaring to a function. Then change every raw usage of it in an action to a set.