Made spline code more abstract, added real analysis abstractions