got rid of some printing bugs
removed some dead code
more tests and html printer