存在型