Bard is the consumer product, Gemini the new model behind it

Yes, and presumably: more data, more compute, better pre-training and post-training methods, leading to better capabilities.

Bard will run a fine tuned Pro version of the Gemini model based on other comments.