added kernelc semantics

Shouldn't the RHS be `if (E) S else {}`  ?