core tetra: accept function reification in Tetra -> Salt conversion