it's a maze
we are turning this into a maze solving proving program...we added two functions xplor and printgrid and deleted some old stuff.