working again on the specification for app_fold_sem.

- before doing the proofs in detail, I want to make sure
  that this interface is sufficient.