TangentSpace now constructed on SR; added construction of tangent space bases at a given point; added method at() in VectorFrame.