Debugging, rewriting the type system