Issue 51 solved

That is, Wffd is properly exported for PAFI and SUBDUE.