this was using an out-of-date or wrong version of the Provide annotation
explicit stringification case for opaques
better interface to loading and running new modules
starting namespace wrapper to provide namespace control to Pyret code