Implemented natural trafos.
Added new IsEqualForCache.
Added products of twocells.