remove some leftovers of the first ghci debugger prototype