The Coalton database has all sorts of information used during compilation. It's never removed, even when compilation units are finished. (And it shouldn't be, at least not yet.) However, when all Coalton code has been compiled and application is done with the Coalton compiler, we should allow the database to be deleted.