As I said earlier, great article. Since you're here, wanted to let you know there's a typo:

Addition

In principle we could [create? make? construct?] types corresponding to 3, 4, 5 and so on.

Thought you might want to fix it. Thanks, again.