Wow.
Well, as for what she calls him ... no, she doesn't have to call him grandpa. Have her call him Pop-Pop or something like that. It sounds NOTHING like "grandpa" and you can be clear later that you don't consider him her grandfather, just her grandma's husband.
I don't know that I would let him be around her at all though. Just my 2 cents.