Should e0 and e1 be exprs as well? Also, not a big thing but I read #:return-when as "Return e0, when e1" which is wrong, but don't have a good alternative name.