core tetra: fix conversion of data constructors to salt