Functional BART with Shape Priors: A Bayesian Tree Approach to Constrained Functional Regression | Synapse