Re: Robin or no Robin?
Since I imagine the next film won't be an origins movie, Dick Grayson/Tim Drake could easily be introduced in that film, even if they don't become Robin. Then have him become Robin in a sequel.
"I'm Ant-Man... What, you haven't heard of me?"
- Scott Lang / Ant-Man