Add modules and export with type checking