CJ's Pull Request - Style Stuff

Pull request for review of triangle facts and robot name style related refactorings
Omit the parentheses in defs when the method doesn't accept any arguments.