zipper-based simplification
fixed stack name in tests
modifying list type (to `µL.((elem*L)+1)`)
this affects text, etc.