I really like how this manages to introduce some object-oriented principles stealthily while mostly focusing on linear logic. Great job!