My current plans for `method` are: * Change the semantics slightly: Only the first argument is considered in the dynamic lookups. Nothing else will change really.
The only problem with that is that then we have 3 ways to do dynamic binding: 1. via closures. 2. via proc type fields with explicit `this` argument. (Still my favourite when performance is most important and you actually have polymorphism at runtime...) 3. via method 4. via `vtref`. Which is at least one way too many...
