tests: cleanup list example
tetra: support foreign boxed types in toSalt conversion
core tetra: do direct substitution when let-binding instantiated supers