And Orgzly for Android just completes it nicely

Here’s all I could find about his age in a few minutes:

https://www.inc.com/jason-aten/the-ceo-of-protonmail-andy-yen-says-apple-cares-about-profit-more-than-privacy.html

He was actually born in 1988, according to the author’s article. If anyone can find a more reliable resource, please, post it here🙏

You can use typed Lisp, there are plenty of them, from Typed Racket to Shen in their complexity. Or to make your own type system in 50-100 lines when you actually need