core: Handle boxing in exported and imported types
core simpl: fixing handling of boxing for foreign imported functions
core: refactor ImportSources to include the type
core: Refactor exports def to use ExportSource
core: attached inferred types to exported names that lack types
demos: Add Tetra ack test
code: fix inferred/expected swap in error message, add Reverse.dst test
core: fix unboxing where primop returns a value type
core: fix boxing of boolean primop results
demo: remove old lists demo
core: remove unused error messages
core: in progress updating core module header parser
core tetra: check that Main module exports main function of appropriate type
core: do fragment checks on module load
core salt: wrap user main function in init function instead of hacking on it
demo: remove old Lite demos
test: translate some Lite tests to Tetra
test: accept test output
core tetra: use correct function constructor in types of arithmetic functions
core llvm: fix args without names being lost during LLVM conversion