Add some comments to section the StackT file
Add tests of StackT fixed point
Add arbitrary instance for Stack s a, and tests to check monad laws