Now using stack prisms instead of pisos
More structure in Tests.hs