fa/fixpoint: improve documentation