> which I’m still scratching my head about. I'm no type theorist and - per wikipedia - 'strong' is not precisely defined. 'Static' may be closer to my idea :

> which I’m still scratching my head about. I'm no type theorist and - per wikipedia - 'strong' is not precisely defined. 'Static' may be closer to my idea : a JS where `typeof` and Number.isInteger are of no use.