Translate Value types to ctcs with better names

e.g., True -> '#t  instead of
      True -> "#t" for a flat-named-contract
Remove unnecessary type->contract case