mostly finish converting discussion of \BT and \PT to use anafunctors