Refactor type-table

Move the provides to the top following the style guide and
add a purpose statement for the module
Add an ignore-table for TR's optimizer

This allows the typechecker to tell the optimizer or
other downstream analyses what expressions to ignore
because they contain non-typechecked code.

Use it to fix handling of `send`