append
make map test a proper one
guard-dynamic-extent (R-1RK derivation)
add test to entering a guard-dynamic-extent continuation