A question on "stan cannot deal with discrete parameters"

Just wanted to throw this out there, post a while back about using CONCRETE or REBAR methods in stan for discrete params

Though it appears no one took the final steps to do the comparisons from the stan manual on marginalization vs. these methods