Try some of the DSLs for quantum computers. You basically want all of your operators to be commutative.