Souds a bit like the LGPL..
Sort of on the subject of module additions to MPL code, but it's a lot clearer, and does it the other way (MPL code as a core part of your application).