The Type of Owned Strings

The type of an owned string is String. You can test this by modifying the program above to have a type annotation, e.g.,