Reorganise AST tests
Reorganise Dashie.AST stuff
Some more tests for mutiple Π binders
ScopedTypeVariables not used any more
Tests for parsing list and vec declarations

Some actual noncontrived examples are always nice
Allow an identifier as a type in data indices

e.g. "data list a = ...", then "a" is an abbr for "(a: type)"
Pretty printing