initial commit for kernelc
first draft of the kernelc
added matchc examples
first working version of kernelc
added map difference
fixed the deletion of local variables
minor fixes to the syntax file
fixed copyright and trailing whitespaces
fixed typo in map-impl.k
addressed Grigore's minor comments
Merge pull request #828 from andreistefanescu/unified-builtins2

added kernelc semantics