Changed isPoss to poss and refactored
Added nakedSubsetUnitNums
Added power
Added nakedSubset(Unit)
Added NakedSubset pattern to doSteps
Added nakedSubset to inferences and recorded results