バチカンの種類