Sorts

sorts-list	:=	sort
		sort,sorts-list
sort	:=	sort-var
		sort->sort
		(sort)
		alpha-ident
		alpha-ident[sorts-list]

Examples: prop -> prop, ('a -> 'b) -> list['a] -> list['b] are valid sorts.