This was a confusing definition of `tail-ty` before, not a semantic change. If `dbound` was `#f`the `tail-ty` was equal to `full-tail-ty`, I just made it clearer that `tail-ty` is only the part in the `ListDots` if it exists.