cleanup StreamT instances

1. remove `StreamTMonad`. it is unnecessary because `StreamTMonad` and `StreamTMonadPlus` requires same typeclass. (like ListT)
2. relaxed `StreamTMonadPlus` constraint
add StreamT tests
Merge pull request #406 from xuwei-k/cleanup-streamT

cleanup StreamT instances
Typo in applicative identity test.