Simpler exponential MazezaM level family

Following on from the previous MazezaM-related post, Aaron Williams and I swapped a few emails about my family of MazezaM levels whose solution lengths are exponential in their sizes. Aaron put forward a simplified family of such levels, and I have now produced an animated demo:

• Full write-up and demo on GitHub.