ada: notes on types

basically translating the wiki to English