indices;
use them in tiling operation
mid work
fixes
normalize arrays of degenerate sizes
Update parser with sizes
Split Size
Add MetaVar and change Meta to MetaSyntactic, MetaVar to Meta
size utils
Fix Type and MetaVar
Ord instance for MetaVar
more size goodies
stub unification for sizes
Some index array tests
Change so tiling takes no expression in parser
Add type to stile
Make index have a polarity
Array wibbles to Desugar
Foldmap and distribute with explicit size
Parse and desugar into typed quantifiers
one more argument to exists/forall