more changes for updates to 0.13,  module import/export and operators