Added asString method to sizedOps

Hey Miles,

Found this really handy for checking some code for the solver example. 
Got fed up with mkStrings etc. Added tests which pass however unsure about use of TypeTags in REPL.

Nige