Add a bunch of tests which assert that extension types are defined nicely.