Changed all maps to be indirections
mk_slice now checks for a fully unknown pattern (and doesn't create the slice)
Added lexing/parsing for new indirection construct
Added driver option to print out typechecker errors with AST

Instead of syntax. Use --debug.
More adjustments for indirections
Make dist_test.rb save test errors
Fully changed add_delta to be by type