It would be nice to allow multiple, comma-separated module names after "use" e.g.
use int.Int, int.MinMax, map.Map, ref.Ref
Possibly allowing a single "import" after "use". And possibly allowing "as M" after any module name.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information