Also, the new features of 1.0.0 (comparing to 0.23.0) are:
I've done this to avoid bypassing the real concepts of logic, and generic programming.