core tetra: check for more unsupported things during conversion to Salt
core tetra: give error when trying to convert fns with higher kinded types, and add note about it.