using proper accessor method, made facts constant
removed short circuit from triangle_type in favor of switch
added law_of_cosines function, and removed angle methods