Began convering Expr to GADT
Added GADTs. Not typechecking currently.
Removed type variable from Expr. Now Typechecks! Program is still parameterized.
added alloc (possibly wrong) and a new construct Decl. The hope is to render the Alloc Nodes unnecessary
Added function 'alloc'. Slightly wrong. Look at AllocNew for inspiration.
trying out 2D vectors by tuples
back to where we started.