Types within CASCADE