The more I hear, the more I like: def square(x) reveals {x*x} (Or perhaps) to square(x) reveal {x*x}
def square(x) reveals {x*x}
(Or perhaps)
YMOV