semantic: Type assigns to base types.