modified:   AlphaResolution.hs
        todo: normal/non-alpha resolution
	modified:   testground.hs
	modified:   testground.hs