Make all assertions curried

To make it easier to compose them.