more constraints on LiSystem

Looks like GADT is the wrong approach, since we still
can't define very useful operations on LiSystem