The missing 'modin' function was reported bug #1646525.
The problems with 'mnot' and 'mprogn' being illegal might
be unreported bugs:
(%i1) f(e,v) := block([vi], for vi in v while not(emptyp(e)) do (print(vi), e : rest(e)))$
...The function MDOIN is undefined.
;;; The function (MNOT) is illegal.
;;; The function (MPROGN) is illegal.