Added STM wrapper module
Changed the try function
Changed `difference` to (\\)