o.k. boolean and integer theories parse and get ASTs built correctly (afaik). Going to go back and do a third refactor of all this -- only this time I'm going to change these damn possymbols again. Going to use a tokenFactory and a posymbol class that extends commontoken (overriding equals to our own end). These (modified) tokens will be returned at the parse level (hopefully). If it works it will be pretty cool. dawg.