moded traits, vectors out of trait.ml