added richbuilder for debruijn, updated stl, fixed tocloseddomain