Fixed bug in TightComposition
- Completed implementation for TightComposer::may/must/subset/equal for MR and Val
Added implementations for PTMemLocObject::equal/subSet