Create Implication c: -> smile

BUR #4672 has been approved by @evazion.

create implication c: -> smile

c: is a more extreme form of a smile where the shape of a mouth is shaped like a semicircle.
It's therefore a subset.

The bulk update request #4672 (forum #180551) has been approved by @evazion.