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.