Allow using the `stm` package

As argued in the linked PR:

stm is commonly used for concurrency. Indeed, it is recommended by the Bank Account exercise and used in its example solution.

Was merged.