Three bug fixes and first successful test of the parser; simplification of type indices (now that I realize typeid can take types); more assertions.