Linear Contexts and the Sharing Functor: Techniques for Symbolic Computation