*operation* E* fPaE()
  *init* (@ NULL @)
  *traverse*
    *from* Patchwork *to* E
    *wrapper* E
      *prefix* (@ return_val = this ; @)

*operation* void fPaM()
  *traverse*
    *from* Patchwork *to* Measure

*operation* void fPaPaExp()
  *traverse*
    *from* Patchwork *to* PatchworkExp

*operation* void fPaList()
  *traverse*
    *from* Patchwork *to* PrimitiveExp_List

*operation* void fTM()
  *traverse*
    *from* TurnExp *to* Measure

*operation* void fTuTu()
  *traverse*
    *from* TurnExp *to* TurnExp

*operation* void fTP()
  *traverse*
    *from* TurnExp *to* PatchworkExp

*operation* void fPriNa()
  *traverse*
    *from* PrimitiveExp *to* Name

//*operation* void fPP()
//  *traverse*
//    *from* PrimitiveExp *to* PatchworkExp