Finished MonadicFors and refactored tests for abide.util