VL: fix a few transforms to behave better w/r/t interfaces; deftypes: add theorems about list/alist-fix of append
VL: bugfix in warning elision, allow consteval of concatenations, change "unique casez (1'b1)" idiom from error to warning in caseelim
merge
merge back