add reducible-adjs and reducible-adjs*; release 0.15.3