CIP-0152? | Modules in UPLC (#946)

* Draft CIP on an extension to add modules to UPLC

* Responses to feedback

* Remove advice on in-service upgrade

* Add some details on unboxed modules with a local module environment--does not require traversing code at run time

* Respond to reviews

* Update CIP-plutus-modules/README.md

Co-authored-by: Michael Peyton Jones <[email protected]>

* Respond to reviews

* Add opinions on the choice of variation

* Fix some typos

* Assign CIP number: 152

* Merge Implementation Plan into Specification

* Remove the Categories section

It is not part of the CIP structure, and the content has been covered elsewhere, such as in "Implementation and Integration Considerations"

* Update CIP-0152/README.md

Co-authored-by: Robert Phair <[email protected]>

* Update CIP-0152/README.md

Co-authored-by: Robert Phair <[email protected]>

---------

Co-authored-by: John Hughes <[email protected]>
Co-authored-by: Michael Peyton Jones <[email protected]>
Co-authored-by: Ziyang Liu <[email protected]>
Co-authored-by: Robert Phair <[email protected]>

Author: 5 people