Case summaries and lots of optimization/bugfixes