New assertions and more flexible assertion calling. Also documentation and some tests.