avoid multiple apply/by's on same line, as this confuses Mirabelle
adapted to new 'size_list' etc.
compile
primrec_new -> primrec
compile
compile recently added entry
closer to compiling