initial compiler to K semantics syntax