Add inference rules for P and SIMPLE
Rename SIMPLE to A
Sketch SKJDEFINABLE type rules
Merge branch 'simple'