效用理论与类型