§4, p. 134: C-place over LABIAL and LINGUAL, and LINGUAL over CORONAL and DORSAL, which Jacobs attributes to Clements and Hume (1995: 291).
Derives DecidableEq, Repr, Fintype.
Used by Node.pred, Node.instPartialOrder, Node.instDecidableLE, node, Bears, instDecidableBears