CJ's Pull Request - Style Stuff

Pull request for review of triangle facts and robot name style related refactorings
I'm not sure if this is too pedantic :P but the predicate methods here will default to boolean values. i.e side1 == side2 will either return true/false. This means theres no need for the ternary operators ( ? true : false)