changed the namespace where the linear/linear set-ops code lives from difference to overlay
finished LS/LS test cases;
added MLS/LS test cases;