On 2/13/2014 4:42 PM, Adam D. Ruppe wrote: > If I'm not missing anything, these three changes would let us completely define > (or not define) type info in the library without breaking anything we have now! It's a good idea worth exploring.