pretty printing and examples are all working, I think I have tickM and lexical time right.  currently i have an infinite loop, which will definitely be added to my 'nasty bugs' list once I track it down