Simplified the types around Angles: Removed the separate 'BasicNumType' class
and integrated this type into the Anlge typeclass
generalized polygons
generalized the last transformation (reflectionAbout) which I apparently forgot
earlier
generalized most of the combinators