I like this a lot. I don’t think it’s a big deal that it deviates from C (most of our users can’t program in C. For many of them Stan is the only explicitly typed language they use). It is a big change from Stan but I’m assuming this is a 3.0 change.