I finished the Library parser (Note: it still doesn't handle syntax
errors properly). I also changed something in the lexer: we now accept
integers of the form 00+ (plus means at least one occurrence).