Update on the Mu computer's memory-safe language

Design of the type system, particularly defining local variables.

Project page.

This post is part of my Freewheeling Apps Devlog.

Comments gratefully appreciated. Please send them to me by any method of your choice and I'll include them here.