CJ's Pull Request - Style Stuff

Pull request for review of triangle facts and robot name style related refactorings
Good call, I didn't even think about this when I wrote it.