More Semantic Domains & Correct previous with spurious spaces
remove embedded spaces from semantic domain markers