zipper-based simplification
fixed stack name in tests
modifying list type (to `µL.((elem*L)+1)`)
this affects text, etc.
updated some list functions
Merge branch 'master' into aoi-plugins
(this contains a change in list type)