cls: changed \Set sizing with optional argument
todo: baseline alignment
alg: 18.3 proofs and other fixes