BLOCKED: refactor: replace rewrite with mkEqNDRec
#215
+82
−13
rewrite with mkEqNDRec
#215