psytypes: finalize notes on OOP for ada