use the pres compiler .toString on Type

This handles complicated type with refinements a
lot better, e.g. in shapeless. (thanks to @milessabin for spotting this.)