We should provide support for defining the constructs added in BV 1.1 via the programmatic API (constructor constraints, group conversions etc.).