Added LTyCopy typeclasses for products and sums Removed mutable ref to weak ref subtyping as a consequence.