• Language: Added sub-effecting for lambdas and local defs (thanks Magnus!)
• Compiler: Significantly improved performance of type and effect inference (thanks Magnus!)
• Compiler: Various performance improvements across the compiler (thanks Magnus!)
• Compiler: Improved how types and effects are printed in error messages (thanks Magnus!)
• Compiler: Added type links, sub-traits, and instances of built-in types to the generated API documentation (thanks Magnus!)