Improve the docstring for the then macro

Make use of case rather than cond when expanding the then macro