On type composition and agentivity