[disjoint] avoid BOOST_AUTO_TPL

apply Barend's paradigm used in simplify...