Add ppBinding convenience function.
Fix loop rewriting rules.
Document loopResult a bit
Fix code generation and interpretation of loops.
Fix input reading.
Fix shape returns from functions.
Fix code generation of existentially typed code.
Add a few more simple test programs.
Better notation for existentials.
Remove unnecessary use of splitting.