More work on explicit sizes.
More work.  Still unfinished.
Remove tests using internal language.