some more AF constructions (most without proof); some cosmetic renames
improve the alternative construction of a bar from an almost-full relation (completely rewritten, no more spurious condition on AF relation)