notation and other improvements for exact sequences