This design is type level. Properties and primitives are not null, references used after a guard procedure are not null, other references are Maybe types. Funct

This design is type level. Properties and primitives are not null, references used after a guard procedure are not null, other references are Maybe types. Functions are Maybe typed if they are operating on nullable references. Those types are not syntactically top level, but that's because I was considering an alteration, not a rewrite.