Semantic types.