Cert.pl: call make with all-cert-pl-certs as targets, rather than the list of targets, which could overflow the shell ARG_MAX
flag.lisp: improvements to def-doublevar-induction
VL: add (tentative) support for function calls in sizing
fty: add maybe-natp as a basetype
     verify guards by default for equivalences introduced by deffixtype
Merge
merge
merge