I agree that the name seems misleadingly specific: it's named after a type of construct which it subsumes. In cases like this I think it is better to call it b

I agree that the name seems misleadingly specific: it's named after a type of construct which it subsumes. In cases like this I think it is better to call it by a more generic name rather than a specific name which it really subsumes (like Haskell using the `data` keyword for algebraic data type definitions).