Adding null, thinking about having all methods return a value (implictly null) combined with a shadowing priority system that would allow aspect methods to be defined in base class Object without interfering with conventional method call syntax and without mangling the aspect names.
Added implicit return types and implemented a Visitor system.
Refined implicit return value analysis and expanded implicit type support in general.