type assertions for string_append