More on split pattern-matching interp
Add compromise between OO-style and pattern matching