ideas-math-types-1.0

Initial version of the library. Some modules have been released in 2015 as part 
of the ideas mathematics tutors (http://hackage.haskell.org/package/ideas-math), 
although these modules were not exposed as a library.