Re-add `forall` constraint after term reconstruction. Fix #12449

Bug description:

If at the beginning of a term reconstruction in compiler/GHC/Runtime/Heap/Inspect.hs:cvObtainTerm the type of the term to be reconstructed is a forall, then currently GHCi cuts off the forall constraint.

Fix:

In the situation described above, re-add the forall constraint with the eventually changed free variables to the type of the reconstructed term. As flags to control how to print the new type use those recovered from the type of the term be be reconstructed.

Fix testcase print036. Adapt output of other ghci.debugger tests.