Almost a rewrite. Now we have basic functionality for diagnosing at breakpoints.