Add note to mmnatded.html to explain its current planned scope
Add note to mmnatded.html to explain its current planned scope

This adds a note about the expected scope of mmnatded.html.
Things may change, of course; it's still an early draft.

metamath/set.mm,metamath/set.mm,metamath/set.mm