[dialyze] specs for shaper*, translate, treap, xml, xml_stream