I would drop the cories. They really do so much better in a large group and a 5 gallon tank can't handle that. If you want diversity then get 1 male betta, 1 ADF and possibly one of the larger snail varieties. These guys wouldn't compete for each others food as since they are all often slower eaters (at least in the beginning) that is a good thing.