Right now the form is

U_constrained is some linear combination of U_unconstrained... 

What about generalizing it to '+constant', where the constant (which could be a function of time) is your dirichlet value?

We can still provide some user-friendly way to set the constant for dirichlet bcs...

(?)

-Ben