Define WITH-MODULE for temporarily changing the toplevel
Get rid of IMPORTS/EXPORTS global variables