Release 4.0-alpha10

This release decreases memory usage for large trees. This fixes a problem that goes back to the version 3 series.

It also

• refactors the Tree data structure
• simplifies the dependency graph
• adds the unbounded type Integer, in addition to the bound type Int.
• allows importing and exporting types
• further improves error messages