Add skeleton ACE code.

Add two rules to enforce simple invariants on insert commands.