cleaning post demo
data constructors working for lists in geval