psygenerics: notes on generic programming in Ada

Includes both procedural and OOP