String subtype with tests