[currymj]

i was very careful to use the vague phrasing "features dealing with these problems" and not "Ada has a borrow checker and dependent types".