first attempt to define a logical relation (for just the target language right now)
started a prototype logical relation for just the target language
actually added the file for the logical relation this time
fix a typo
figured out how to unfold V relation definition
progress on logical relation stuff
lots of lemmas, leading to some progress at the top level