fixed HLearn.Algebra.Types.Frac and re-added it to HLearn.Algebra. Fix was that it needed scoped type variables for use of Sing