Linear operator assignment now destroys and deallocates the operator to be assigned if it is already associated, so we no longer has to dexplicitly do that on reassigning operators