Adds LocalDistinguishability function 

This is an improved version of https://github.com/nathanieljohnston/QETLAB/pull/3.
The code became much simpler thanks to nesting of SymmetricExtension function.

@vprusso Can you please test?