enum HeadPredicate
case HeadAtom(PredSym, BoxedDenotation, Vector[HeadTerm])
instance PredSymsOf[HeadPredicate]
instance SubstitutePredSym[HeadPredicate]
instance ToString[HeadPredicate]