consider adding axis contradiction declarations

[Kai]

i.e. add ability to declare an axis point incompatible with another axis point or axis.

A.True cannot be set if B.False
B.False cannot be set if C.<any>

@pshirshov