The formatting is messed up for the line-by-line error lists – the lines run together into one paragraph. Here’s a fixed version of the Gist. I fixed that formatting problem and also enabled syntax highlighting of code. (I highlight the hypothetical language as Python, which is a little wrong, but I think better than no highlighting.)
the names are just (flat) types that are implicitly (globally) defined (i love that part).
if the types had behavior or constrained implementation (rather than being statically checked synonyms for Any), you’d need to be able to locate names in your package/namespace system (if you wanted more safety for large systems, maybe you’d do that anyway).