Stan doesn’t support discrete parameters. It’s possible to marginalize out discrete parameters; however, it’s generally recommended to use regularized horseshoe priors instead. The easiest way to do this would probably be to fit the model in brms instead of Stan directly.
I would also recommend taking a look at the Prior Choice recommendations for some of your other priors.