better ensugaring for types (Placeholder and ApplyInfix still not supported)
reliably ensugars self tpt