Distinguish CF, LEX and VAR sorts in Statix spec#46

Virtlink wants to merge 1 commit intomastermetaborg/sdf:masterfrom

lexical-sorts-statixmetaborg/sdf:lexical-sorts-statixCopy head branch name to clipboard