use type synonym LoadedBody
exprIntoTV gets tv to load expr into

We will now hopefully get wrong hole results in tag types discarded more quickly without loading them bottom up.