This pull request should address most of Martin and Kristof's comments. It also adds and clarifies the text in a number of places and removes the definition of the now-unused int32 type. The acknowledgments section is also updated.
The version tag is frozen as requested in issue #1.
The description of grease is improved as requested in issue #2.
This pull request should address most of Martin and Kristof's comments. It also adds and clarifies the text in a number of places and removes the definition of the now-unused int32 type. The acknowledgments section is also updated.
The version tag is frozen as requested in issue #1.
The description of grease is improved as requested in issue #2.