I'm doing some hard thinking about type systems, and getting serious impostor syndrome. I'm not a computer scientist! Whatever I end up with will doubtless be less than ideal in many ways. Hrm