I wrote my own “proper” programming language (2020)