Fixed:

• Clash tries to cast-specialize non-"global binders" resulting in "specialisation of non-work-free cast" warning #1933
• More consistently render bare untyped and unsized literals for ~LIT tags. This fixes #1934