First draft of tentative loads as another instance of the generic store algorithm.

TL is quite simple: locations are simply mapped onto a truth value signifying a non-tentative location.

Undebugged at this point.