Somehow, my copy of the JavaDocs must have gotten garbled at some point. The page for ASTNode.Type doesn't contain an entry for LAMBDA, though my copy of the source code for JSBML contains this entry and Eclipse auto-completes the text OK. Sorry about this. I'm not sure where I got the JavaDocs from.
Thanks for expanding upon the other issues -- I greatly appreciate it.