[FR] Support for composite constraints

[bvdmitri]

Would be nice to have something like

constraint1 = @constraints begin 
    q(p) :: ProjectedTo(Beta)
end

constraint2 = MeanField()

constraint = constraint1 & constraint2 # or similarly constraint1 | constraint2