uncomment can-init, update lv-initialized
uncomment and test path-bound-by-lifetime
s/path-bound-by-lifetime/path-valid-for-lifetime/
make use of the Variable Lifetime map
Add tests for path-outlives and fix some simple bugs
uncomment use-lv-ok, fix some bugs, add tests
add a test for use-lvs-ok
begin transition from \Im to \Delta
port can-access, can-read-from, can-write-to
port can-move-from and add a bunch more tests
port can-init and add a few more tests
all tests passing again
fix subtype; rv-ok seems to mostly work