added ExistentialQuantification to parser
Fix importing modules with export lists and modules that export themselves