"String" now TypeDef'ed

for completeness