seomoz/askari — pull request #44 by phs (2013-10-01 17:03:55+00:00)
Title: 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.