Phs/fix a bug in type names and nameless

There are two methods in `Type` that are implemented recursively, but they use some predicates that do a well-formedness check.  Begin well-formed isn't preserved during the recursion (consider descending into a bit vector), so things explode.  So have some tests & fixes.