added kernelc semantics

These 6 macros would look nicer to be in the syntax module.