Clarified how types reflect abstract interfaces