Changes to ASIS 2005 proposal

Asis for Ada 2005 described in the proposal, but still draft and has errors. We make some changes to it to be able implement Ada 2005:

• SI99-0006-1 (Interface types)
  • remove A_Private_Type_Declaration from Asis.Declarations.Progenitor_List appropriate Declaration_Kinds
  • correct typo in parameter specification of this function to (Declaration : Asis.Declaration)
  • add An_Interface_Type_Definition and A_Formal_Interface_Type_Definition to appropriate elements of Asis.Definitions.Implicit_Inherited_Subprograms
• SI99-0004-1 (anonymous access types)
  • Add An_Access_Definition to return Definition_Kinds of Asis.Definitions.Component_Subtype_Indication. I this this function will be marked obsolete and another will be added (something like Component_Subtype), till that we return access_definition through Component_Subtype_Indication.
• Add universal_access_type (See comment)
• Syntax corrections
  • Add mod to attribute_designator (See comment)
  • Lost '|' in formal_object_declaration (See comment)
• SI99-0022-1 (Add boolean queries to ease use of trait_kinds)
  • Change expected Definition_Kinds (See comment)
• The implicit declaration of the limited view of a library package forms an (implicit) compilation unit
  • Unit_Kind for limited view should be added, till this use An_Unknown_Unit
  • Separate list of units for limited views, besides Library_Unit_Declarations and Compilation_Unit_Bodies
  • Corresponding_Declaration of a package returns limited view unit
  • Corresponding_Declaration of a limited view returns package unit
  • the same for A_Package_Declaration elements in Asis.Declarations
• New null default for formal subprogram (not implemented, send comment)