[Ada] Incorrect accessibility level on type in formal package