Bare support for virtual methods.

No validity checks at present.
Add support for abstract methods.