Here, W is a set of words and Z is the set of candidates for words in W, that includes the parents as well as their types.
a candidate is a (parent, type) pair, where the type variable keeps track of the type of morphological change (or the lack thereof if there is no parent) as we go from the parent to the child.