Add tests for entire Ext family.
Rename apptype to impltype.

Previously `apptype=false` meant "this doesn't have to be an application type".
Now `impltype=true` means "this can be an implementation type" which feels more
natural to me.
Add conv functions to create Ext types from arbitrary objects.