Add two design documents exploring language semantics: - `beta-style inner.txt` outlines a dispatch mechanism for `inner` method calls using a two-list approach with method bodies and inheritance chain tracking - `receiver-less calls.txt` analyzes implicit receiver resolution for bare function calls, proposing they resolve to `this` and using leading "." for top-level module function calls