Those all sound like good distributions to me. Although I would probably scratch NixOS off that list if you don't want to start out with something complex. It is an extremely unique distro which does things very differently than most distros. Which isn't a bad thing, but unless that's specifically what you're looking for, I'd probably choose something more traditional as first distro.