enable multiline for-all bodies
added 2-arity version of defspec and swapped arg order.