add more context to LiSystem.

This lets things like the following work:

> putStrLn $ case pendulum of LiSystem _ a b c d -> show a

Maybe GADT is the wrong way to express LiSystem?