CJ's Pull Request - Style Stuff

Pull request for review of triangle facts and robot name style related refactorings
Also here, when we do multi-line blocks, use `do/end` not `{ }`