Tok.toString now does show[Raw]

Otherwise it's really painful to debug the stuff