Added another FP example and description of FP constructions over arbitrary WoSets