The issue with representing them more compactly is that we'd have to make the rules much more complex and we'd also have to depart from the C abi, so while this

The issue with representing them more compactly is that we'd have to make the rules much more complex and we'd also have to depart from the C abi, so while this is something we might look into in the future it's not very likely to happen.