Backport ksh93v- bugfix for a possible crash in types.sh (#812)

Backport ksh93v- bugfix for a possible crash in types.sh (#812) #2273