finally have type tests passing!
Now destroying string, badly ...