Questions about license/copyright of miniMAL specifications

[trb-a]

Hello.

I'm trying to develop another implementation for miniMAL language adding some more features, not using your original source code except unit tests.

Questions:

1. Is there any license or copyright as if miniMAL's langage SPECIFICATIONS?
   • Of course I know your miniMAL IMPLEMENTATION is distributed undef MPL 2.0.
2. Is there any limitations to publish my miniMAL implementation to NPM under MIT license?
3. Can I still call or name my implementation as `miniMAL' language? My implementation will not be small as your awesome code, but trying to pass most of unit tests (which are converted to Jest format).
4. Can I refer your web pages from my documents?

Regards,

//// Note: I've also sent a e-mail to to your address written on https://github.com/kanaka. You might get some more detail about my plan if you have any chance to check the mail.