More complete rotation tests.
Functionality for the pure log rotation function.
Complete monadic interface to the log rotator.