FromPure instances for big_sepM

This is inspired by instances I saw in Perennial.

Probably we could have something similar for big_sepL and Forall. Any others?