Ada Programming/Keywords/type