Current Semantic Types