tower-freertos-stm32-tests: simple example fixes for typeclass changes
tower-freertos-stm32-tests: simple example fixes for typeclass changes

GaloisInc/ivory-tower-stm32,GaloisInc/ivory-tower-stm32,GaloisInc/ivory-tower-stm32