fixed some typos and symbol map items in semantics