Make LookupSTM be parametrized by extra monad.

        And fix some -Wall issues.