Nagl: A Battalion™s Worth of Good Ideas