Rename Solo# data constructor to MkSolo# (#24702)

- data Solo# a = (# a #)
+ data Solo# a = MkSolo# a

And (# foo #) syntax now becomes just a syntactic sugar for MkSolo# a.