Drop newtypes before computing the refinement substitution after :print type reconstr...