Fix L/J typo
Intern type descriptors for speed
Switch to BFS for type inference.  Seems to result in fewer iterations for most functions.
Better debug output for fragment sizer