Type.Placeholder can have bounds
merges Singleton and Constant