core tetra: handle any input function type in conversion
core tetra: track which types are representable during Tetra to Salt conversion