Documented memo/1 and memo/2 type and mode strictness.