Fix some warnings from HLint
Add MonadVariable instance for strict ST
Add MonadVariable instance for Lazy ST