semantic: Turn interfaces into vtable structs, add to classes.

While doing so, error on multiple implementations.