Basic.Form: special case when quantifying over no variables
updated lib/Sequence