Take a λ.while
Spec for while
More while asserts
Bump version