Name help please

I like the name coral for a girl and mason for a boy, but I also like the idea of making it a double-barrel name.......any ideas on what would work?? Also the surname is Tyler or possibly Gaughan-Tyler, is it too much to have a double name and surname?? Or what middle names/nicknames would work instead? It can be so confusing at times, really appreciate any opinions