Add notation for two-program pvalid
Add notation for two-program pvalid

Includes continuations for both programs.

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl