Flesh out to more closely match the BSL version
Add abstract-sum example