Returns flonum being the Jaccard similarity index, given a symbol type and two symbol arguments x and y.