a bunch of editing & writing on AC/anafunctors