Add type constraint that bit1 is only allowed for powers of two.

Add type constraint that bit2 is only allowed for powers of two.

Consider allowing multiple contexts and configuration of device number or context flags.

We could probably implement this in terms of broadcast and transpose directly.

First-class rules are WIP and you can't really do anything useful with them yet.