D.Trail: add reparameterization iso to result of Parametric GetSegment
D.Tangent: finish tangent implementation

Note: should add some examples with diagrams-haddock.