Format cabal config
Relax containers dependency
Add some tests
Add optlist helper to univer parser
Remove some trivial rules
Reduce naming differences in univer grammar
Format univer parser code
Remove test file