Slightly rough cut
Shorten
Use bms_is_empty()
Support inheritance, along limited lines
Limited updatable view support
Fix spelling
Tests pass
More carefully differentiate special updatable view case with generic user-defined rule case