Rename SIMPLE to A
Sketch SKJDEFINABLE type rules